منابع مشابه
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution
In this paper we propose a Weak Lambda Calculus called λPw having explicit operators for Pattern Matching and Substitution. This formalism is able to specify functions defined by cases via pattern matching constructors as done by most modern functional programming languages such as OCAML. We show the main property enjoyed by λPw, namely subject reduction, confluence and strong normalization.
متن کاملA survey of weighted substitution operators and generalizations of Banach-stone theorem
The classical Banach-Stone theorem characterizes linear surjective isometries between C(K)-spaces. The main aim of this paper is to present a survey of Banach-Stone-theoremtype results between some function spaces. The weighted substitution operators play an important role in characterization of isometries, disjointness preserving operators, and lattice homomorphisms. Some open problems are giv...
متن کاملComposition Operators and Multiplication Operators on Orlicz Spaces
This article has no abstract.
متن کاملM-FUZZIFYING DERIVED OPERATORS AND DIFFERENCE DERIVED OPERATORS
This paper presents characterizations of M-fuzzifying matroids bymeans of two kinds of fuzzy operators, called M-fuzzifying derived operatorsand M-fuzzifying difference derived operators.
متن کاملTrace Substitution
Trace caches deliver a high number of instructions per cycle to wide-issue superscalar processors. To overcome complex control flow, multiple branch predictors have to predict up to 3 conditional branches per cycle. These multiple branch predictors sometimes predict completely wrong paths of execution, degrading the average fetch bandwidth. This paper shows that such mispredictions can be detec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Statistical Physics
سال: 2011
ISSN: 0022-4715,1572-9613
DOI: 10.1007/s10955-011-0192-0